The Verification Of A Distributed System Caitie Mccaffrey Yow! 2016